1. Identificação | |
Tipo de Referência | Tese ou Dissertação (Thesis) |
Site | mtc-m21c.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34R/3T5LM62 |
Repositório | sid.inpe.br/mtc-m21c/2019/04.15.15.09 |
Última Atualização | 2019:07.01.15.33.30 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21c/2019/04.15.15.09.21 |
Última Atualização dos Metadados | 2019:07.11.15.36.05 (UTC) administrator |
Chave Secundária | INPE-18200-TDI/2887 |
Chave de Citação | Mariano:2019:IdEfAp |
Título | Identifying efficient approaches to automatically generate test cases in model based testing |
Título Alternativo | Identificando abordagens eficientes de busca em grafo para geração automática de casos de teste para teste baseado em modelo |
Curso | CAP-COMP-SESPG-INPE-MCTIC-GOV-BR |
Ano | 2019 |
Data | 2019-04-26 |
Data de Acesso | 07 maio 2024 |
Tipo da Tese | Dissertação (Mestrado em Computação Aplicada) |
Tipo Secundário | TDI |
Número de Páginas | 74 |
Número de Arquivos | 1 |
Tamanho | 3486 KiB |
|
2. Contextualização | |
Autor | Mariano, Matheus Monteiro |
Banca | Körting, Thales Sehn (presidente) Vijaykumar, Nandamudi Lankalapalli (orientador) Souza, Érica Ferreira de (orientadora) Mendes, Celso Luiz Endo, André Takeshi Santos, Luciana Brasil Rebelo dos |
Endereço de e-Mail | matheus.mmariano@outlook.com |
Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) |
Cidade | São José dos Campos |
Histórico (UTC) | 2019-04-15 15:11:03 :: matheus.mariano@inpe.br -> administrator :: 2019-05-02 11:23:53 :: administrator -> pubtc@inpe.br :: 2019-05-02 11:24:18 :: pubtc@inpe.br -> matheus.mariano@inpe.br :: 2019-06-16 19:25:57 :: matheus.mariano@inpe.br -> administrator :: 2019-06-17 10:37:56 :: administrator -> pubtc@inpe.br :: 2019-06-17 10:38:29 :: pubtc@inpe.br -> matheus.mariano@inpe.br :: 2019-06-17 15:58:32 :: matheus.mariano@inpe.br -> administrator :: 2019-07-01 14:58:37 :: administrator -> pubtc@inpe.br :: 2019-07-03 13:54:21 :: pubtc@inpe.br -> administrator :: 2019-07-08 16:33:52 :: administrator -> simone :: 2019-07-10 14:09:01 :: simone :: -> 2019 2019-07-10 14:09:02 :: simone -> administrator :: 2019 2019-07-11 15:36:05 :: administrator -> :: 2019 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | Software testing model-based testing systematic mapping graph-based algorithms finite state machine teste de software teste baseado em modelo mapeamento sistemático algoritmos baseados em grafo máquina de estado finito |
Resumo | Context: Model Based Testing (MBT) has attracted a lot of attention from researchers since it has proved efficient in using formal models to represent reactive systems behavior in order to guide test case generation. Such systems are mostly specified and verified using Finite State Machine (FSM), a formal modeling technique commonly used to represent systems behavior. There is a plethora of test generation algorithms in the literature. Most of them are graph-based once a FSM can be considered as a graph. Nevertheless, there is a lack of studies on analyzing cost and efficiency of FSM-based test generation algorithms. Objective: This dissertation aims to investigate and compare graph-based algorithms employed to generate test cases from FSM models. In particular, we compare the Chinese Postman Problem (CPP) and H-Switch Cover (HSC) algorithms with the well-known breadth-first and depth-first search (BFS, DFS) algorithms in the context of covering all-transitions (AT) and all-transition-pairs (ATP) criteria in a FSM. Method: First, a systematic literature mapping was conducted to summarize the methods that have been adopted in MBT, considering FSM. Second, the main methods found were implemented and analyzed on random and real-world FSMs that represent embedded systems of space applications. For the evaluation of studies, we considered analyses in terms of cost (time), efficiency (mutant analysis) and coverage of the generated test cases (number of test cases, average length of test cases, largest and smallest test cases, etc.). Results: In general, CPP presented the best results with the FSMs used in terms of number of test cases and test suite size. In addition, CPP also presented low distribution of average length compared to other algorithms. RESUMO: Contexto: Teste Baseado em Modelo (TBM) tem atraído muita atenção de pesquisadores da área de Teste de Software, uma vez que se mostrou eficaz usando modelos formais para representar o comportamento do sistema a fim de orientar a geração de casos de teste. Estes software são geralmente especificados e verificados usando uma técnica de modelagem formal chamada Máquina de Estados Finitos (MEF). Existem diversos algoritmos de geração de casos de teste na literatura. A maioria são baseadas em grafo, uma vez que uma MEF pode ser considerada como um grafo. No entanto, há falta de estudos que analisam o custo e a eficiência de algoritmos de geração de casos de teste baseado em MEF. Objetivo: Esta dissertação tem como objetivo investigar e comparar algoritmos baseados em grafo aplicados á geração de casos de teste a partir de modelos MEFs. Em particular, comparamos os algoritmos do Problema do Carteiro Chinês (PCC) e o H − SwitchCover com os algoritmos clássicos da literatura, Busca em Largura e Busca em Profundidade (BL e BF), no contexto de cobrir uma MEF com os critérios todas-as-transições (TT) e todos-os-pares-de-transições (TPT). Método: Primeiro, um mapeamento sistemático da literatura foi conduzido para sumarizar os métodos que tem sido adotados em TBM, considerando as MEFs. Segundo, os principais métodos foram implementados e analisados com MEFs aleatórias e reais que representam sistemas embarcados de aplicaÇões espaciais. Para a avaliação dos estudos, foram considerados análises em termos de custo (tempo), eficiência (análise de mutante) e cobertura dos casos de teste gerados (número dos casos de teste, tamanho médio dos casos de teste, os maiores e menores casos de teste, etc.). Resultados: No geral, o PCC apresentou os melhores resultados para as MEFs usadas em termo de número dos casos de teste e tamanho da suíte de teste. Além disso, o PCC também apresentou baixa distribuição do tamanho médio comparado aos outros algoritmos. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Identifying efficient approaches... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | originais/@4primeirasPaginas.pdf | 01/07/2019 09:34 | 177.6 KiB | originais/Avaliação final pag 01 e 02 de Matheus Monteiro Mariano - CAP.pdf | 01/07/2019 11:32 | 385.0 KiB | originais/Dissertation_Matheus_Monteiro_Mariano.pdf | 19/06/2019 11:23 | 3.6 MiB | |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34R/3T5LM62 |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34R/3T5LM62 |
Idioma | en |
Arquivo Alvo | publicacao.pdf |
Grupo de Usuários | gabinete@inpe.br matheus.mariano@inpe.br |
Visibilidade | shown |
Licença de Direitos Autorais | urlib.net/www/2012/11.12.20.35 |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | urlib.net/www/2017/11.22.19.04.03 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS |
Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 |
|
6. Notas | |
Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype |
|